141. Euro-Par 2018 :
پدیدآورنده : edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
142. Evaluating the organizational impact of healthcare information systems
پدیدآورنده : James G. Anderson, Carolyn E. Aydin, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Health facilities-- Administration-- Data processing.,Information storage and retrieval systems-- Medical care-- Cost effectiveness.,Information storage and retrieval systems-- Medical care-- Evaluation.
143. Event-based neuromorphic systems /
پدیدآورنده : edited by Shih-Chii S. Liu, Tobi Delbruck, Giacomo Indiveri, Adrian Whatley, Rodney Douglas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Discrete-time systems.,Neural networks (Neurobiology)-- Simulation methods.,Neuromorphics.
رده :
TA164
.
4
144. Fog and edge computing :
پدیدآورنده : edited by Rajkumar Buyya and Satish Narayana Srirama.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cloud computing.,Electronic data processing-- Distributed processing.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.
رده :
QA76
.
585
.
F63
2019
145. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
146. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
147. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
149. Foundations of Intelligent Systems :
پدیدآورنده : edited by Zbigniew W. Raś, Andrzej Skowron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Information storage and retrieval systems.
150. Functional analysis of information processing; a structured approach for simplifying systems design
پدیدآورنده : Booth, Grayce M
موضوع : ، Electronic data processing -- Structured techniques,، System design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
151. Functional analysis of information processing; a structured approach for simplifying system design
پدیدآورنده : / Grayce M. Booth
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers
رده :
001
.
6
B725
152. Fundamentals of systems analysis with apllication design
پدیدآورنده : Licker, Paul Steven
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,، System analysis,Structured techniques ، Electronic data processing
رده :
QA
76
.
9
.
S88
L53
1987
153. Geo-informatics in sustainable ecosystem and society :
پدیدآورنده : Yichun Xie, Anbing Zhang, Haixin Liu, Lili Feng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geoinformatics, Congresses.,Geoinformatics.
رده :
QE48
.
8
154. Geometric Modelling :
پدیدآورنده : edited by Stefanie Hahmann, Guido Brunnett, Gerald Farin, Ron Goldman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer science.,Electronic data processing.
رده :
QA76
.
9
.
M35
E358
2004
155. Geospatial technology for earth observation
پدیدآورنده : Deren Li, Jie Shan, Jianya Gong, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Earth sciences-- Data processing,Earth sciences-- Remote sensing,Geographic information systems,Image processing,Earth (Planet), Observations, 0
رده :
G70
.
212
.
G47
2009eb
157. Handbook of Satellite Application
پدیدآورنده : / edited by Joseph N. Pelton, Scott Madry, Sergio Camacho-Lara
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Remote sensing,Computer network architectures,Astrophysics,Astronautics,Telecommunication,Electronic books
رده :
E-BOOK
158. Handbook of laser-induced breakdown spectroscopy
پدیدآورنده : Dave Cremers, Leon Radziemski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Atomic emission spectroscopy.,Laser-induced breakdown spectroscopy.
159. High Precision Navigation :
پدیدآورنده : edited by Klaus Linkwitz, Ulrich Hangleiter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geographic information systems.,Geography.,Physical geography.
160. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
